Search
1 heading found for n 80086451
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Barendregt, Hendrik Pieter, 1947-....
Barendregt, H. P. (Hendrik Pieter) Barendregt, Henk (Hendrik Pieter), 1947- Barendregt, H. P. (1947- ). Barendregt, Hendrik P. 1947- Henk Barendregt Dutch mathematician Barendregt, H. P. Barendregt, Hendrik Pieter Barendregt, Henk |
Personal | Categorical type theory The incompleteness theorems Computable processes Dirk van Dalen Festschrift (In)flexible self: psychopathology, mindfulness, and neuroscience Lambda calculus : its syntax and semantics Lambda calculus : its syntax and semantics Lambda calculus : its syntax and semantics |